\begin{tabbing}
$\forall$\=${\it es}$:ES, $A$:Type, $i$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it conds}_{1}$,\+
\\[0ex]${\it conds}_{2}$:$k$:Knd fp$\rightarrow$ $V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top)).
\-\\[0ex]es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;${\it conds}_{1}$)
\\[0ex]$\Rightarrow$ es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;${\it conds}_{2}$)
\\[0ex]$\Rightarrow$ ${\it conds}_{1}$ $\parallel$ ${\it conds}_{2}$
\\[0ex]$\Rightarrow$ es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;${\it conds}_{1}$ $\oplus$ ${\it conds}_{2}$)
\end{tabbing}